1983 - Intelligent Control Using Integrity Constraints
نویسندگان
چکیده
This paper describes how integrity constraints, whether user supplied or automatically generated during the search, and analysis of failures can be used to improve the execution of function free logic programs. Integrity constraints are used to guide both the forward and backward execution of the Programs. This work applies to arbitrary node and literal selection functions and is thus transparent to the fact whether the logic program is executed SeWentiallY or in parallel.
منابع مشابه
AIM - An Integrity Monitor for the Database System INGRES
Entirely programmed in EDUEL. AIM consists of a batch component for periodic integrity control and an interactive component which provides an instantaneOUS semantic control mechanism at the user interface. For certain simple updates AIM implements a prevention strategy, whereas, in particular detection and recovery strategy is and dynamic integrity constraints the basis of DUEL qualifications. ...
متن کاملExploiting temporal knowledge to organize constraints
This paper examines the role of temporal knowledge in regard to the representation and utilization of constraints within time dependent problem domains. We first consider the representation of constraints whose, interpretations may vary in different temporal regions of the solution space. A representation that organizes constraint variants via the temporal relationships among them is presented ...
متن کاملExpressing Interaction in Combinatorial Auction through Social Integrity Constraints
Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, one of the issues they raise is the computational complexity of the solving process (the Winner Determination Problem, WDP), that delayed their practical use. Recently, efficient solvers have been applied to the WDP, so the frame...
متن کاملManaging Knowledge Integrity
The management of the integrity of intelligent systems relies on techniques to integrate the components and to manage the integrity of the knowledge-based systems components. A unified methodology integrates knowledge-based systems components with database components. Constraints are used to manage the integrity of knowledge. One class of knowledge constraints protect the integrity of knowledge...
متن کاملChecking Integrity Constraints in a Distributed Database
INTRODUCTION Preserving the accuracy and the integrity of information in a database is extremely important for the organization that is maintaining that database. Such an organization is likely to rely heavily upon that accuracy. Applications that consult and use the database expect a guarantee that the database is supplying the correct information. Critical business decisions may be made assum...
متن کامل